logical formulas中文是什么意思

• 逻辑式

• "logical"中文翻译    adj. 1.逻辑的，逻辑上的；逻辑学上的。 2.合乎逻 ...
• "formula"中文翻译    n. (pl. formulas, -lae ) 1.公 ...
• "primitive logical formulas" 中文翻译 :    基本逻辑公式
• "formulas" 中文翻译 :    formula的复数; 表达式元素; 公式, 方案, 准则, 程式, 处方, 制造法, 配方, 惯用语句, 俗套话
• "be logical" 中文翻译 :    合乎逻辑
• "logical" 中文翻译 :    adj. 1.逻辑的，逻辑上的；逻辑学上的。 2.合乎逻辑的。 3.逻辑上必然的。 logical constants 逻辑常词[常项]。 logical necessity 逻辑的必然性。 a logical argument 条件分明的论证。 a logical process 合理的程序，合乎逻辑的[必然的]过程。 the logical result 必然的结果。 adv. -ly ,-ness n.
• "logical and" 中文翻译 :    逻辑与
• "logical if" 中文翻译 :    逻辑若
• "logical not" 中文翻译 :    逻辑非
• "logical or" 中文翻译 :    逻辑或
• "logical-in" 中文翻译 :    逻辑归入
• "the logical" 中文翻译 :    合选辑之歌
• "adachi formulas" 中文翻译 :    阿达奇公式
• "addition formulas" 中文翻译 :    加法公式
• "bread formulas" 中文翻译 :    面包的配方
• "chemical formulas" 中文翻译 :    化学式
• "conversion formulas" 中文翻译 :    转换公式
• "cost formulas" 中文翻译 :    成本公式
• "design formulas" 中文翻译 :    计算公式
• "engineering formulas" 中文翻译 :    工程公式
• "flood formulas" 中文翻译 :    洪水推算公式
• "gauss formulas" 中文翻译 :    高斯公式
• "gurney formulas" 中文翻译 :    格尼公式
• "infant formulas" 中文翻译 :    婴儿配方奶粉
• "investing formulas" 中文翻译 :    投资公式

• Wstk creates all name attributes according to a logical formula ; in the example , i used names of my own convenience
  依照逻辑规则创建了所有名称属性；在本示例中，我使用了自己视为方便的名称。
• However , existing ontology languages are either unsuitable for web with markup languages , or short of of generic support to representation of knowledge , logical formula , axioms and rules
  在现有的ontology语言中，有的不是面向web这种标记语言环境的，有的缺乏知识、逻辑公式、公理以及规则表示的通性支持。
• This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx
  本文对web语义化过程中部分关键问题和基于语义化web的kms进行了研究，主要的创新性工作包括：定义了逻辑公式及关系公理描述原语的ontology语义： web环境中用标记语言描述对象和资源，为了在语义化web上表示知识、逻辑公式、关系公理和规则，需要定义描述命题逻辑公式、谓词逻辑公式、 horn逻辑的逻辑原语以及描述属性之间关系的关系原语。